Ship Building Construction Systems

Building Robust Systems with Fallible Construction

Asbestos and Ship-Building: Fatal Consequences

The severe bombing of Belfast in 1941 had far-reaching consequences. Harland and Wolff was crippled. The British Merchant Ship Building Mission to the U.S.A. was being constrained by the U.K. treasury. On being told of the Belfast destruction, the British Mission and the United States Maritime Commission were emboldened. The result was 2,710 Liberty Ships launched to a British design. The neces...

Fabric: Building open distributed systems securely by construction

Distributed information systems are prevalent in modern computing but difficult to build securely. Because systems commonly span domains of trust, host nodes share data and code of varying degrees of trustworthiness. Modern systems are often open and extensible, making security even harder to reason about. Unfortunately, standard methods for software construction do not help programmers enough ...

Building secure-by-construction distributed component-based systems

We present an automated method to build secure distributed systems from an abstract multilevel security component-based model. We take as input a high-level secureBIP componentbased model and transform it into a decentralized Send/Receive secureBIP model and further on distributed code. The security policy is defined at the design time. Information flow policy is verified and automatically pres...

Construction Waste Generation in the Iranian Building Industry

Building industry as one of the greatest industries in Iran comprises a significant share of waste generation in the country. Since a large quantity of the generated construction waste is buried due to the lack of a recycling protocol, it leads to an undesired waste of resources and causes severe environmental issues. This paper provides a study on the problem of material loss/construction wast...